A systematic doctrine or body of principles concerned with classifying phenomena in a particular field, often related to logic or mathematics.

प्रकारों का सिद्धांत

English Usage: The theory of types was introduced to avoid certain paradoxes in formal logic.

Hindi Usage: प्रकारों का सिद्धांत औपचारिक तर्क में कुछ विरोधाभासों से बचने के लिए पेश किया गया था।